Method for domain-specific mathematical modelling: theory and applications
نویسندگان
چکیده
منابع مشابه
MATHEMATICAL MODELLING FOR DICE FINDER GAME PROBLEM
Play is often episodic and mission-centric, with a series of challenges culminating in a final puzzle or enemy that must be overcome. Multiple missions played with the same characters may be related to each other in a plot arc of escalating challenges. The exact tone, structure, pace and end (if any) vary from game to game depending on the needs and preferences of the players, as in [9]. "THE C...
متن کاملDomain-Specific Modelling for Human-Computer Interaction
Model-Driven Engineering (MDE) is an important enabler in the development of complex, reactive, often real-time, software-intensive systems, as it shifts the level of specification from computing concepts (the “how”) to conceptual models or abstractions in the problem domain (the “what”). Domain-Specific Modelling (DSM) in particular allows to specify these models in a Domain-Specific Modelling...
متن کاملDomain-Specific Modelling for Coordination Engineering
ion is the key to progress in software engineering
متن کاملDesign Patterns for Domain-specific Application Modelling
Model-based development becomes increasingly attractive due to benefits like reducing risk for mistakes by manual code generation. Based on a domain-specific meta-model, it starts with specification of the platform independent model (PIM) of the target system. In practice, generating PIMs manually can become tedious because of the large number of often repetitive elements to be created. Applyin...
متن کاملDomain Theory and its Applications
Michael Baldamus An Elementary Set–Theoretic Semantics for the π–Calculus . . . . . . . . . . . 6 Andrej Bauer Recursive Analysis in PER(PN) . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 Eike Best Relational Semantics Revisited . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 Marcello Bonsague Infinitary Logic of Domains . . . . . . . . . . . . . . . . . . . . . . . . . . . . ....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ScienceAsia
سال: 2016
ISSN: 1513-1874
DOI: 10.2306/scienceasia1513-1874.2016.42s.019